dirs= wmi42 wmiextra
